let pi = 4.0 *. atan 1.0
and square x = x *. x;;
 
if square(sin pi) +. square(cos pi) = 1.0 then 
  print_string "(sin pi)^2 + (cos pi)^2 = 1, Yes!\n"
else
  assert false
;;

